Thực đơn
Tập_hợp_con_(toán_học) Định nghĩaNếu A và B là các tập hợp và mọi phần tử của A cũng là phần tử của B, thì:
A là tập con của B (hay A chứa trong B), ký hiệu A ⊆ B {\displaystyle A\subseteq B} ,hay tương đươngNếu A là tập con của B, nhưng có ít nhất 1 phần tử của B không là phần tử của A thì A được gọi là tập hợp con thực sự (hay tập con đích thực) của B, ký hiệu A ⊊ B . {\displaystyle A\subsetneq B.}
hay tương đươngMột số tài liệu cũng dùng ký hiệu A ⊂ B {\displaystyle A\subset B} thay cho A ⊆ B {\displaystyle A\subseteq B} , và B ⊃ A {\displaystyle B\supset A} thay cho B ⊇ A {\displaystyle B\supseteq A} với ý nghĩa tương tự. Tuy nhiên, nếu chi li ra thì ký hiệu A ⊆ B {\displaystyle A\subseteq B} được hiểu rằng A là tập con của B hoặc có thể bằng B, còn ký hiệu A ⊂ B {\displaystyle A\subset B} ít mang ý nghĩa A có thể bằng B hơn.
Tương tự như vậy trong số học, khi viết x ≤ y {\displaystyle x\leq \;y} thì x có thể nhỏ hơn y, có thể bằng y, nhưng nếu viết x < y {\displaystyle x<\;y} thì có nghĩa là x chỉ nhỏ hơn y chứ không thể bằng y.Thực đơn
Tập_hợp_con_(toán_học) Định nghĩaLiên quan
Tập hợp (toán học) Tập hợp sắp thứ tự một phần Tập hợp Thanh niên Dân chủ Tập hợp rỗng Tập hợp đếm được Tập hợp con Tập hợp Mandelbrot Tập hợp liên thông Tập hợp hữu hạn Tập hợp vi chính tắcTài liệu tham khảo
WikiPedia: Tập_hợp_con_(toán_học)